Une réécriture russe des contes de Charles Perrault
نویسندگان
چکیده
منابع مشابه
Une approche générique de la réécriture
In this paper we study rewriting as an operational proof system in a generic (i.e. logic-independent) way. To do this, we propose simple conditions which allow to characterise logics were this kind of effective proof can be applied. This conditions are based on a proof tree property, that we call semi-commutation. We then show how to define the standard notion of termination, confluence and loc...
متن کاملComment fusionner des ontologies avec la réécriture de graphes ?
RÉSUMÉ. Au cours de ces dernières années, les ontologies se sont imposées comme un outil incontournable de représentation des connaissances. Cette popularité a conduit au développement d’ontologies similaires ou partiellement redondantes. Cette multiplication de ressources disponibles a mené aux études traitant de leur réutilisation et/ou leur fusion. Dans ce contexte, nous proposons une nouvel...
متن کاملVérification d'invariants pour des systèmes spécifiés en logique de réécriture
We present an approach based on inductive theorem proving for verifying invariants of dynamic systems specified in rewriting logic, a formal specification language implemented in the Maude system. An invariant is a property that holds on all the states that are reachable from a given class of initial states. Our approach consists in encoding the semantic aspects that are relevant for our task (...
متن کاملanalyse structurale de deux contes de perrault selon les schémas de propp, larivaille et greimas
la morphologie, c’est l’étude des formes ou bien la mise en place des éléments constitutifs du conte. le travail de vladimir propp consiste à étudier non pas le contenu des contes folkloriques mais le contenant, c’est-à-dire la forme extérieure des contes et leur structure globale. ainsi, l’analyse de le petit poucet et de le chat botté fait appel à une logique fictionnelle propre au merveilleu...
متن کاملUne caractérisation des rétractes absolus de voisinage
We prove that a metric space is an ANR if, and only if, every open subset of X has the homotopy type of a CW-complex.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Féeries
سال: 2016
ISSN: 1766-2842,1957-7753
DOI: 10.4000/feeries.1016